efi configuration for hackintosh